1. Specifying message passing and time-critical systems with temporal logic
پدیدآورنده : Koymans, Ron
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Data transmission systems,، Logic, Symbolic and mathematical
رده :
TK
5105
.
K69
1992
2. Specifying message passing and time-critical systems with temporal logic
پدیدآورنده : Koymans, Ron, 9591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Data transmission systems,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
651
